Metamathematics of First-Order Arithmetic
https://projecteuclid.org/images/ebooks/cover_pl.jpg
https://projecteuclid.org/eBooks/perspectives-in-logic/Metamathematics-of-First-Order-Arithmetic/toc/pl/1235421926
Petr Hájek
,
Pavel Pudlák